Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·17h
🔗Unification Algorithms
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🌲Deforestation
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
📝Text Algorithms
Why Future AIs will Require New Alignment Methods
lesswrong.com·7h
🎭Program Synthesis
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·11h
🧮Combinator Calculus
Vladimir Guerrero Jr. continuing family legacy in playoffs. Looking at the best father-son duos in MLB
nytimes.com·15m
📐String Similarity
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Stop Spraying & Praying: An Engineer's Guide to Account-Based Marketing
getmichaelai.com·10h·
Discuss: DEV
🎮Language Ergonomics
Estimating Fair Graphs from Graph-Stationary Data
arxiv.org·17h
🗺️Region Inference
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
💬Interactive REPLs
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1h·
Discuss: DEV
🧠Memory Ordering
Working on Hard Problems
danvk.org·1d
🤐Zipper Structures
ReasonScape Evaluation: AI21 Jamba Reasoning vs Qwen3 4B vs Qwen3 4B 2507
reddit.com·1d·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🌲Deforestation
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·1d
🎨Graph Coloring
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
📋Backus-Naur Form
Complex networks-based anomaly detection for financial transactions in anti-money laundering
sciencedirect.com·2d
🔄Tail Call Analysis
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
🎭Program Synthesis
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·8h·
Discuss: Hacker News
🧩Constraint Solvers
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture